#include <stddef.h>

int *vsetvli(unsigned int a0);


#include <stdio.h>

int main()
{
	int ret;
    ret=vsetvli(256);
	printf("%d \n",ret);
	return 0;
}
